Equivalence Constraint Satisfaction Problems

The following result for finite structures Gamma has been conjectured to hold for all countably infinite omega-categorical structures Gamma: either the model-complete core Delta of Gamma has an expansion by finitely many constants such that the pseudovariety generated by its polymorphism algebra contains a two-element algebra all of whose operations are projections, or there is a homomorphism f from Delta^k to Delta, for some finite k, and an automorphism alpha of Delta satisfying f(x1,...,xk) = alpha(f(x2,...,xk,x1)). This conjecture has been confirmed for all infinite structures Gamma that have a first-order definition over (Q;<), and for all structures that are definable over the random graph. In this paper, we verify the conjecture for all structures that are definable over an equivalence relation with a countably infinite number of countably infinite classes. Our result implies a complexity dichotomy (into NP-complete and P) for a family of constraint satisfaction problems (CSPs) which we call equivalence constraint satisfaction problems. The classification for equivalence CSPs can also be seen as a first step towards a classification of the CSPs for all relational structures that are first-order definable over Allen\u27s interval algebra, a well-known constraint calculus in temporal reasoning

Leveraging and Fusing Civil and Military Sensors to support Disaster Relief Operations in Smart Environments

Natural disasters occur unpredictably and can range in severity from something locally manageable to large scale events that require external intervention. In particular, when large scale disasters occur, they can cause widespread damage and overwhelm the ability of local governments and authorities to respond. In such situations, Civil-Military Cooperation (CIMIC) is essential for a rapid and robust Humanitarian Assistance and Disaster Relief (HADR) operation. These type of operations bring to bear the Command and Control (C2) and Logistics capabilities of the military to rapidly deploy assets to help with the disaster relief activities. Smart Cities and Smart Environments, embedded with IoT, introduce multiple sensing modalities that typically provide wide coverage over the deployed area. Given that the military does not own or control these assets, they are sometimes referred to as gray assets, which are not as trustworthy as blue assets, owned by the military. However, leveraging these gray assets can significantly improve the ability for the military to quickly obtain Situational Awareness (SA) about the disaster and optimize the planning of rescue operations and allocation of resources to achieve the best possible effects. Fusing the information from the civilian IoT sensors with the custom military sensors could help validate and improve trust in the information from the gray assets. The focus of this paper is to further examine this challenge of achieving Civil-Military cooperation for HADR operations by leveraging and fusing information from gray and blue assets

Microlensing optical depth and event rate in the OGLE-IV Galactic plane fields

Searches for gravitational microlensing events are traditionally concentrated on the central regions of the Galactic bulge but many microlensing events are expected to occur in the Galactic plane, far from the Galactic Center. Owing to the difficulty in conducting high-cadence observations of the Galactic plane over its vast area, which are necessary for the detection of microlensing events, their global properties were hitherto unknown. Here, we present results of the first comprehensive search for microlensing events in the Galactic plane. We searched an area of almost 3000 square degrees along the Galactic plane (|b|<7, 0<l<50, 190<l<360 deg) observed by the Optical Gravitational Lensing Experiment (OGLE) during 2013-2019 and detected 630 events. We demonstrate that the mean Einstein timescales of Galactic plane microlensing events are on average three times longer than those of Galactic bulge events, with little dependence on the Galactic longitude. We also measure the microlensing optical depth and event rate as a function of Galactic longitude and demonstrate that they exponentially decrease with the angular distance from the Galactic Center (with the characteristic angular scale length of 32 deg). The average optical depth decreases from $0.5\times 10^{-6}$ at l=10 deg to $1.5\times 10^{-8}$ in the Galactic anticenter. We also find that the optical depth in the longitude range 240<l<330 deg is asymmetric about the Galactic equator, which we interpret as a signature of the Galactic warp.Comment: ApJS, in pres

Microlensing optical depth and event rate in the OGLE-IV Galactic plane fields

Searches for gravitational microlensing events are traditionally concentrated on the central regions of the Galactic bulge but many microlensing events are expected to occur in the Galactic plane, far from the Galactic Center. Owing to the difficulty in conducting high-cadence observations of the Galactic plane over its vast area, which are necessary for the detection of microlensing events, their global properties were hitherto unknown. Here, we present results of the first comprehensive search for microlensing events in the Galactic plane. We searched an area of almost 3000 square degrees along the Galactic plane (|b| < 7°, 0° < l < 50°, 190° < l < 360°) observed by the Optical Gravitational Lensing Experiment (OGLE) during 2013–2019 and detected 630 events. We demonstrate that the mean Einstein timescales of Galactic plane microlensing events are on average three times longer than those of Galactic bulge events, with little dependence on the Galactic longitude. We also measure the microlensing optical depth and event rate as a function of Galactic longitude and demonstrate that they exponentially decrease with the angular distance from the Galactic Center (with the characteristic angular scale length of 32°). The average optical depth decreases from 0.5 × 10⁻⁶ at l = 10° to 1.5 × 10⁻⁸ in the Galactic anticenter. We also find that the optical depth in the longitude range 240° < l < 330° is asymmetric about the Galactic equator, which we interpret as a signature of the Galactic warp

OGLE-2018-BLG-0532Lb: Cold Neptune With Possible Jovian Sibling

We report the discovery of the planet OGLE-2018-BLG-0532Lb, with very obvious signatures in the light curve that lead to an estimate of the planet-host mass ratio $q=M_{\rm planet}/M_{\rm host}\simeq 1\times10^{-4}$. Although there are no obvious systematic residuals to this double-lens/single-source (2L1S) fit, we find that $\chi^2$ can be significantly improved by adding either a third lens (3L1S, $\Delta\chi^2=81$) or second source (2L2S, $\Delta\chi^2=65$) to the lens-source geometry. After thorough investigation, we conclude that we cannot decisively distinguish between these two scenarios and therefore focus on the robustly-detected planet. However, given the possible presence of a second planet, we investigate to what degree and with what probability such additional planets may affect seemingly single-planet light curves. Our best estimates for the properties of the lens star and the secure planet are: a host mass $M\sim 0.25\,M_\odot$, system distance $D_L\sim 1\,$kpc and planet mass $m_{p,1}= 8\,M_\oplus$ with projected separation $a_{1,\perp}=1.4\,$au. However, there is a relatively bright $I=18.6$ (and also relatively blue) star projected within $<50\,$mas of the lens, and if future high-resolution images show that this is coincident with the lens, then it is possible that it is the lens, in which case, the lens would be both more massive and more distant than the best-estimated values above.Comment: 48 pages, 9 figures, 7 table

OGLE-2019-BLG-0960 Lb: The Smallest Microlensing Planet

We report the analysis of OGLE-2019-BLG-0960, which contains the smallest mass-ratio microlensing planet found to date (q = 1.2-1.6 × 10-5 at 1s). Although there is substantial uncertainty in the satellite parallax measured by Spitzer, the measurement of the annual parallax effect combined with the finite source effect allows us to determine the mass of the host star (M L = 0.3-0.6 M o?), the mass of its planet (m p = 1.4-3.1 M ?), the projected separation between the host and planet (a ? = 1.2-2.3 au), and the distance to the lens system (D L = 0.6-1.2 kpc). The lens is plausibly the blend, which could be checked with adaptive optics observations. As the smallest planet clearly below the break in the mass-ratio function, it demonstrates that current experiments are powerful enough to robustly measure the slope of the mass-ratio function below that break. We find that the cross-section for detecting small planets is maximized for planets with separations just outside of the boundary for resonant caustics and that sensitivity to such planets can be maximized by intensively monitoring events whenever they are magnified by a factor A \u3e 5. Finally, an empirical investigation demonstrates that most planets showing a degeneracy between (s \u3e 1) and (s \u3c 1) solutions are not in the regime (log s| » 0) for which the close / wide degeneracy was derived. This investigation suggests that there is a link between the close / wide and inner/outer degeneracies and also that the symmetry in the lens equation goes much deeper than symmetries uncovered for the limiting cases

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT